大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

Mathematical Formulas for Economists [electronic resource]

0
索取号:
作者:Luderer、 Bernd.、Nollau、 Volker.、Vetters、 Klaus.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Intervening in the Brain [electronic resource] : Changing Psyche and Society

0
索取号:
作者:Merkel、 Reinhard.、Boer、 G.、Fegert、 J.、Galert、 T.、Hartmann、 D.、Nuttin、 B.、Rosahl、 S.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Ubiquitous Computing Systems [electronic resource] : Third International Symposium, UCS 2006, Seoul, Korea, October 11-13, 2006. Proceedings

0
索取号:
作者:Youn、 Hee Yong.、Kim、 Minkoo.、Morikawa、 Hiroyuki.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Governance as a Trialogue: Government-Society-Science in Transition [electronic resource]

0
索取号:
作者:Turton、 Anthony R.、Hattingh、 Hanlie J.、Maree、 Gillian A.、Roux、 Dirk J.、Claassen、 Marius.、Strydom、 Wilma F.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Computer Vision Approaches to Medical Image Analysis [electronic resource] : Second International ECCV Workshop, CVAMIA 2006 Graz, Austria, May 12, 2006 Revised Papers

0
索取号:
作者:Beichel、 Reinhard R.、Sonka、 Milan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Intelligent Computing in Engineering and Architecture [electronic resource] : 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers

0
索取号:
作者:Smith、 Ian F. C.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Foundations of Intelligent Systems [electronic resource] : 16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006. Proceedings

0
索取号:
作者:Esposito、 Floriana.、Ra艣、 Zbigniew W.、Malerba、 Donato.、Semeraro、 Giovanni.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Safety, Reliability, and Security [electronic resource] : 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings

0
索取号:
作者:G贸rski、 Janusz.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Science Logic [electronic resource] : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings

0
索取号:
作者:脡sik、 Zolt谩n.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Entertainment Computing - ICEC 2006 [electronic resource] : 5th International Conference, Cambridge, UK, September 20-22, 2006. Proceedings

0
索取号:
作者:Harper、 Richard.、Rauterberg、 Matthias.、Combetto、 Marco.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Algebra in Scientific Computing [electronic resource] : 9th International Workshop, CASC 2006, Chi艧in膬u, Moldova, September 11-15, 2006. Proceedings

0
索取号:
作者:Ganzha、 Victor G.、Mayr、 Ernst W.、Vorozhtsov、 Evgenii V.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Contributions to Ubiquitous Computing [electronic resource]

0
索取号:
作者:Kr盲mer、 Bernd J.、Halang、 Wolfgang A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Medical Image Computing and Computer-Assisted Intervention-MICCAI 2006 [electronic resource] : 9th International Conference, Copenhagen, Denmark, October 1-6, 2006. Proceedings, Part II

0
索取号:
作者:Larsen、 Rasmus.、Nielsen、 Mads.、Sporring、 Jon.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Medical Image Computing and Computer-Assisted Intervention-MICCAI 2006 [electronic resource] : 9th International Conference, Copenhagen, Denmark, October 1-6, 2006. Proceedings, Part I

0
索取号:
作者:Larsen、 Rasmus.、Nielsen、 Mads.、Sporring、 Jon.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Mathematical Methods for Engineers and Scientists 3 [electronic resource] : Fourier Analysis, Partial Differential Equations and Variational Methods

0
索取号:
作者:Tang、 Kwong-Tin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Distributed Computing [electronic resource] : 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006. Proceedings

0
索取号:
作者:Dolev、 Shlomi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
最近添加的分类